[INFO] cloning repository https://github.com/sjrsjz/Simple-Constraint-System
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/sjrsjz/Simple-Constraint-System" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fsjrsjz%2FSimple-Constraint-System", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fsjrsjz%2FSimple-Constraint-System'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 09821b77cd1f08b5d711403f7cdf003fa07e2ad2
[INFO] testing sjrsjz/Simple-Constraint-System against try#0abe69e6c16114311cc2700e972492e64d69c28f for pr-154065-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fsjrsjz%2FSimple-Constraint-System" "/workspace/builds/worker-5-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/sjrsjz/Simple-Constraint-System
[INFO] finished tweaking git repo https://github.com/sjrsjz/Simple-Constraint-System
[INFO] tweaked toml for git repo https://github.com/sjrsjz/Simple-Constraint-System written to /workspace/builds/worker-5-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/sjrsjz/Simple-Constraint-System on toolchain 0abe69e6c16114311cc2700e972492e64d69c28f
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/sjrsjz/Simple-Constraint-System already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] fc57cb031801ce033e8501157b0d3c29aba3df25421cbc73767b81e5fdd060b3
[INFO] running `Command { std: "docker" "start" "-a" "fc57cb031801ce033e8501157b0d3c29aba3df25421cbc73767b81e5fdd060b3", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "fc57cb031801ce033e8501157b0d3c29aba3df25421cbc73767b81e5fdd060b3", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "fc57cb031801ce033e8501157b0d3c29aba3df25421cbc73767b81e5fdd060b3", kill_on_drop: false }`
[INFO] [stdout] fc57cb031801ce033e8501157b0d3c29aba3df25421cbc73767b81e5fdd060b3
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] b2308a00f88b5957c08fd55740cdcc5842fdabb23d3b8f0e1d7d549edbeb7104
[INFO] running `Command { std: "docker" "start" "-a" "b2308a00f88b5957c08fd55740cdcc5842fdabb23d3b8f0e1d7d549edbeb7104", kill_on_drop: false }`
[INFO] [stderr]    Compiling constraint-system v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: enum `AtomicConstraint` is never used
[INFO] [stdout]  --> src/constraint.rs:9:10
[INFO] [stdout]   |
[INFO] [stdout] 9 | pub enum AtomicConstraint {
[INFO] [stdout]   |          ^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `ConstraintNode` is never used
[INFO] [stdout]   --> src/constraint.rs:34:10
[INFO] [stdout]    |
[INFO] [stdout] 34 | pub enum ConstraintNode {
[INFO] [stdout]    |          ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Constraint` is never constructed
[INFO] [stdout]   --> src/constraint.rs:80:12
[INFO] [stdout]    |
[INFO] [stdout] 80 | pub struct Constraint {
[INFO] [stdout]    |            ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new`, `add_node`, `get_node`, and `entry` are never used
[INFO] [stdout]    --> src/constraint.rs:86:12
[INFO] [stdout]     |
[INFO] [stdout]  85 | impl Constraint {
[INFO] [stdout]     | --------------- associated items in this implementation
[INFO] [stdout]  86 |     pub fn new(entry: String) -> Self {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout]  93 |     pub fn add_node(&mut self, name: String, node: ConstraintNode) {
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 104 |     pub fn get_node(&self, name: &str) -> Option<&ConstraintNode> {
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 108 |     pub fn entry(&self) -> &String {
[INFO] [stdout]     |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `super_of`, `refine`, `check_subsumption`, and `check_subsumption_inner` are never used
[INFO] [stdout]    --> src/constraint.rs:114:12
[INFO] [stdout]     |
[INFO] [stdout] 113 | impl Constraint {
[INFO] [stdout]     | --------------- associated items in this implementation
[INFO] [stdout] 114 |     pub fn super_of(&self, other: &Self) -> bool {
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 127 |     pub fn refine(&self, v: &Self) -> Self {
[INFO] [stdout]     |            ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 139 |     fn check_subsumption(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 162 |     fn check_subsumption_inner(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `PrettyFormatter` is never constructed
[INFO] [stdout]    --> src/constraint.rs:298:8
[INFO] [stdout]     |
[INFO] [stdout] 298 | struct PrettyFormatter<'a> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new` and `format_node` are never used
[INFO] [stdout]    --> src/constraint.rs:305:8
[INFO] [stdout]     |
[INFO] [stdout] 304 | impl<'a> PrettyFormatter<'a> {
[INFO] [stdout]     | ---------------------------- associated items in this implementation
[INFO] [stdout] 305 |     fn new(constraint: &'a Constraint) -> Self {
[INFO] [stdout]     |        ^^^
[INFO] [stdout] ...
[INFO] [stdout] 313 |     fn format_node(&mut self, f: &mut fmt::Formatter<'_>, node: &ConstraintNode) -> fmt::Result {
[INFO] [stdout]     |        ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.36s
[INFO] running `Command { std: "docker" "inspect" "b2308a00f88b5957c08fd55740cdcc5842fdabb23d3b8f0e1d7d549edbeb7104", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "b2308a00f88b5957c08fd55740cdcc5842fdabb23d3b8f0e1d7d549edbeb7104", kill_on_drop: false }`
[INFO] [stdout] b2308a00f88b5957c08fd55740cdcc5842fdabb23d3b8f0e1d7d549edbeb7104
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 53ae2b289c4e41863107fd7a1ee9db4b9d2153e32cf52cc0d1413445fcd389bd
[INFO] running `Command { std: "docker" "start" "-a" "53ae2b289c4e41863107fd7a1ee9db4b9d2153e32cf52cc0d1413445fcd389bd", kill_on_drop: false }`
[INFO] [stderr]    Compiling constraint-system v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: enum `AtomicConstraint` is never used
[INFO] [stdout]  --> src/constraint.rs:9:10
[INFO] [stdout]   |
[INFO] [stdout] 9 | pub enum AtomicConstraint {
[INFO] [stdout]   |          ^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: enum `ConstraintNode` is never used
[INFO] [stdout]   --> src/constraint.rs:34:10
[INFO] [stdout]    |
[INFO] [stdout] 34 | pub enum ConstraintNode {
[INFO] [stdout]    |          ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `Constraint` is never constructed
[INFO] [stdout]   --> src/constraint.rs:80:12
[INFO] [stdout]    |
[INFO] [stdout] 80 | pub struct Constraint {
[INFO] [stdout]    |            ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new`, `add_node`, `get_node`, and `entry` are never used
[INFO] [stdout]    --> src/constraint.rs:86:12
[INFO] [stdout]     |
[INFO] [stdout]  85 | impl Constraint {
[INFO] [stdout]     | --------------- associated items in this implementation
[INFO] [stdout]  86 |     pub fn new(entry: String) -> Self {
[INFO] [stdout]     |            ^^^
[INFO] [stdout] ...
[INFO] [stdout]  93 |     pub fn add_node(&mut self, name: String, node: ConstraintNode) {
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 104 |     pub fn get_node(&self, name: &str) -> Option<&ConstraintNode> {
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 108 |     pub fn entry(&self) -> &String {
[INFO] [stdout]     |            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `super_of`, `refine`, `check_subsumption`, and `check_subsumption_inner` are never used
[INFO] [stdout]    --> src/constraint.rs:114:12
[INFO] [stdout]     |
[INFO] [stdout] 113 | impl Constraint {
[INFO] [stdout]     | --------------- associated items in this implementation
[INFO] [stdout] 114 |     pub fn super_of(&self, other: &Self) -> bool {
[INFO] [stdout]     |            ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 127 |     pub fn refine(&self, v: &Self) -> Self {
[INFO] [stdout]     |            ^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 139 |     fn check_subsumption(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 162 |     fn check_subsumption_inner(
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: struct `PrettyFormatter` is never constructed
[INFO] [stdout]    --> src/constraint.rs:298:8
[INFO] [stdout]     |
[INFO] [stdout] 298 | struct PrettyFormatter<'a> {
[INFO] [stdout]     |        ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: associated items `new` and `format_node` are never used
[INFO] [stdout]    --> src/constraint.rs:305:8
[INFO] [stdout]     |
[INFO] [stdout] 304 | impl<'a> PrettyFormatter<'a> {
[INFO] [stdout]     | ---------------------------- associated items in this implementation
[INFO] [stdout] 305 |     fn new(constraint: &'a Constraint) -> Self {
[INFO] [stdout]     |        ^^^
[INFO] [stdout] ...
[INFO] [stdout] 313 |     fn format_node(&mut self, f: &mut fmt::Formatter<'_>, node: &ConstraintNode) -> fmt::Result {
[INFO] [stdout]     |        ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variant `F` is never constructed
[INFO] [stdout]   --> src/constraint.rs:36:5
[INFO] [stdout]    |
[INFO] [stdout] 34 | pub enum ConstraintNode {
[INFO] [stdout]    |          -------------- variant in this enum
[INFO] [stdout] 35 |     T,                                              // 顶点约束，表示任意值
[INFO] [stdout] 36 |     F,                                              // 假约束，表示不可能的值
[INFO] [stdout]    |     ^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `ConstraintNode` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stdout]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: method `refine` is never used
[INFO] [stdout]    --> src/constraint.rs:127:12
[INFO] [stdout]     |
[INFO] [stdout] 113 | impl Constraint {
[INFO] [stdout]     | --------------- method in this implementation
[INFO] [stdout] ...
[INFO] [stdout] 127 |     pub fn refine(&self, v: &Self) -> Self {
[INFO] [stdout]     |            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.71s
[INFO] running `Command { std: "docker" "inspect" "53ae2b289c4e41863107fd7a1ee9db4b9d2153e32cf52cc0d1413445fcd389bd", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "53ae2b289c4e41863107fd7a1ee9db4b9d2153e32cf52cc0d1413445fcd389bd", kill_on_drop: false }`
[INFO] [stdout] 53ae2b289c4e41863107fd7a1ee9db4b9d2153e32cf52cc0d1413445fcd389bd
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 9032feb37b95e4e38e67c2923d0a8a02101821252e960a9367c84d5dce7c71e2
[INFO] running `Command { std: "docker" "start" "-a" "9032feb37b95e4e38e67c2923d0a8a02101821252e960a9367c84d5dce7c71e2", kill_on_drop: false }`
[INFO] [stderr] warning: enum `AtomicConstraint` is never used
[INFO] [stderr]  --> src/constraint.rs:9:10
[INFO] [stderr]   |
[INFO] [stderr] 9 | pub enum AtomicConstraint {
[INFO] [stderr]   |          ^^^^^^^^^^^^^^^^
[INFO] [stderr]   |
[INFO] [stderr]   = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: enum `ConstraintNode` is never used
[INFO] [stderr]   --> src/constraint.rs:34:10
[INFO] [stderr]    |
[INFO] [stderr] 34 | pub enum ConstraintNode {
[INFO] [stderr]    |          ^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: struct `Constraint` is never constructed
[INFO] [stderr]   --> src/constraint.rs:80:12
[INFO] [stderr]    |
[INFO] [stderr] 80 | pub struct Constraint {
[INFO] [stderr]    |            ^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated items `new`, `add_node`, `get_node`, and `entry` are never used
[INFO] [stderr]    --> src/constraint.rs:86:12
[INFO] [stderr]     |
[INFO] [stderr]  85 | impl Constraint {
[INFO] [stderr]     | --------------- associated items in this implementation
[INFO] [stderr]  86 |     pub fn new(entry: String) -> Self {
[INFO] [stderr]     |            ^^^
[INFO] [stderr] ...
[INFO] [stderr]  93 |     pub fn add_node(&mut self, name: String, node: ConstraintNode) {
[INFO] [stderr]     |            ^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 104 |     pub fn get_node(&self, name: &str) -> Option<&ConstraintNode> {
[INFO] [stderr]     |            ^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 108 |     pub fn entry(&self) -> &String {
[INFO] [stderr]     |            ^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated items `super_of`, `refine`, `check_subsumption`, and `check_subsumption_inner` are never used
[INFO] [stderr]    --> src/constraint.rs:114:12
[INFO] [stderr]     |
[INFO] [stderr] 113 | impl Constraint {
[INFO] [stderr]     | --------------- associated items in this implementation
[INFO] [stderr] 114 |     pub fn super_of(&self, other: &Self) -> bool {
[INFO] [stderr]     |            ^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 127 |     pub fn refine(&self, v: &Self) -> Self {
[INFO] [stderr]     |            ^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 139 |     fn check_subsumption(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 162 |     fn check_subsumption_inner(
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: struct `PrettyFormatter` is never constructed
[INFO] [stderr]    --> src/constraint.rs:298:8
[INFO] [stderr]     |
[INFO] [stderr] 298 | struct PrettyFormatter<'a> {
[INFO] [stderr]     |        ^^^^^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: associated items `new` and `format_node` are never used
[INFO] [stderr]    --> src/constraint.rs:305:8
[INFO] [stderr]     |
[INFO] [stderr] 304 | impl<'a> PrettyFormatter<'a> {
[INFO] [stderr]     | ---------------------------- associated items in this implementation
[INFO] [stderr] 305 |     fn new(constraint: &'a Constraint) -> Self {
[INFO] [stderr]     |        ^^^
[INFO] [stderr] ...
[INFO] [stderr] 313 |     fn format_node(&mut self, f: &mut fmt::Formatter<'_>, node: &ConstraintNode) -> fmt::Result {
[INFO] [stderr]     |        ^^^^^^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `constraint-system` (lib) generated 7 warnings
[INFO] [stderr] warning: variant `F` is never constructed
[INFO] [stderr]   --> src/constraint.rs:36:5
[INFO] [stderr]    |
[INFO] [stderr] 34 | pub enum ConstraintNode {
[INFO] [stderr]    |          -------------- variant in this enum
[INFO] [stderr] 35 |     T,                                              // 顶点约束，表示任意值
[INFO] [stderr] 36 |     F,                                              // 假约束，表示不可能的值
[INFO] [stderr]    |     ^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `ConstraintNode` has derived impls for the traits `Clone` and `Debug`, but these are intentionally ignored during dead code analysis
[INFO] [stderr]    = note: `#[warn(dead_code)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: method `refine` is never used
[INFO] [stderr]    --> src/constraint.rs:127:12
[INFO] [stderr]     |
[INFO] [stderr] 113 | impl Constraint {
[INFO] [stderr]     | --------------- method in this implementation
[INFO] [stderr] ...
[INFO] [stderr] 127 |     pub fn refine(&self, v: &Self) -> Self {
[INFO] [stderr]     |            ^^^^^^
[INFO] [stderr] 
[INFO] [stderr] warning: `constraint-system` (lib test) generated 2 warnings
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.06s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/constraint_system-53dc26cd83857e19)
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests constraint_system
[INFO] [stdout] running 3 tests
[INFO] [stdout] test tests::tests::test3 ... ok
[INFO] [stdout] test tests::tests::test2 ... ok
[INFO] [stdout] test tests::tests::test1 ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "9032feb37b95e4e38e67c2923d0a8a02101821252e960a9367c84d5dce7c71e2", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "9032feb37b95e4e38e67c2923d0a8a02101821252e960a9367c84d5dce7c71e2", kill_on_drop: false }`
[INFO] [stdout] 9032feb37b95e4e38e67c2923d0a8a02101821252e960a9367c84d5dce7c71e2
